e5c1d66916549c0b796d1ae17c6b8609d5338b8d,jetty-server/src/main/java/org/eclipse/jetty/server/Dispatcher.java,Dispatcher,push,#ServletRequest#,221
Before Change
query=query+"&"+_uri.getQuery(); // TODO is this correct semantic?
}
int port=request.getServerPort();
if (port==80 && HttpScheme.HTTP.is(request.getScheme()))
port=0;
if (port==443 && HttpScheme.HTTPS.is(request.getScheme()))
port=0;
HttpURI uri = new HttpURI(request.getScheme(),request.getServerName(),request.getServerPort(),_uri.getPath(),baseRequest.getHttpURI().getParam(),query,null);
MetaData.Request push = new MetaData.Request(HttpMethod.GET.asString(),uri,baseRequest.getHttpVersion(),fields);
After Change
query=query+"&"+_uri.getQuery(); // TODO is this correct semantic?
}
HttpURI uri = HttpURI.createHttpURI(request.getScheme(),request.getServerName(),request.getServerPort(),_uri.getPath(),baseRequest.getHttpURI().getParam(),query,null);
MetaData.Request push = new MetaData.Request(HttpMethod.GET.asString(),uri,baseRequest.getHttpVersion(),fields);